objects = CpdtTactics.vo finType.vo vector.vo FDPIA_build.vo
	
DISK= D
COQC8_13 =  $(DISK):\Coq.8.13\Coq\bin\coqc.exe
COQC_DEF = coqc.exe
COQC = $(COQC8_13)
COQCFLAGS = 

all : $(objects)

%.vo : %.v
	$(COQC) $(COQCFLAGS) $^

.PHONY : clean

clean :
	rm  -f *.vo *.vos *.vok *.glob .*.aux